Reification and Truthmaking Patterns

Reification is a standard technique in conceptual modeling, which consists of including in the domain of discourse entities that may otherwise be hidden or implicit. However, deciding what should be rei- fied is not always easy. Recent work on formal ontology offers us a simple answer: put in the domain of discourse those entities that are responsible for the (alleged) truth of our propositions. These are called truthmakers. Re-visiting previous work, we propose in this paper a systematic analysis of truthmaking patterns for properties and relations based on the ontolog- ical nature of their truthmakers. Truthmaking patterns will be presented as generalization of reification patterns, accounting for the fact that, in some cases, we do not reify a property or a relationship directly, but we rather reify its truthmakers

Endurant Types in Ontology-Driven Conceptual Modeling: Towards OntoUML 2.0

For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. These experiences have pointed out to opportunities of improvement not only to the language itself but also to its underlying theory. In this paper, we take the first step in that direction by revising the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of the meta-types present in OntoUML (differentiating Kinds, Roles, Phases, Mixins, etc.) should be considered not as restricted to Substantial types but instead should be applied to model Endurant Types in general, including Relator types, Quality types and Mode types. We also contribute a formal characterization of this fragment of the theory, which is then used to advance a metamodel for OntoUML 2.0. Finally, we propose a computational support tool implementing this updated metamodel

Canister for Producing TMA Trails in the Upper Atmosphere

Payload canister for producing trimethyl aluminum trails in upper atmosphere using Nike-Cajun or Nike-Apache rocke

Geographical information retrieval with ontologies of place

Geographical context is required of many information retrieval tasks in which the target of the search may be documents, images or records which are referenced to geographical space only by means of place names. Often there may be an imprecise match between the query name and the names associated with candidate sources of information. There is a need therefore for geographical information retrieval facilities that can rank the relevance of candidate information with respect to geographical closeness of place as well as semantic closeness with respect to the information of interest. Here we present an ontology of place that combines limited coordinate data with semantic and qualitative spatial relationships between places. This parsimonious model of geographical place supports maintenance of knowledge of place names that relate to extensive regions of the Earth at multiple levels of granularity. The ontology has been implemented with a semantic modelling system linking non-spatial conceptual hierarchies with the place ontology. An hierarchical spatial distance measure is combined with Euclidean distance between place centroids to create a hybrid spatial distance measure. This is integrated with thematic distance, based on classification semantics, to create an integrated semantic closeness measure that can be used for a relevance ranking of retrieved objects

On unified crack propagation laws

The anomalous propagation of short cracks shows generally exponential fatigue crack growth but the dependence on stress range at high stress levels is not compatible with Paris’ law with exponent . Indeed, some authors have shown that the standard uncracked SN curve is obtained mostly from short crack propagation, assuming that the crack size a increases with the number of cycles N as where h is close to the exponent of the Basquin’s power law SN curve. We therefore propose a general equation for crack growth which for short cracks has the latter form, and for long cracks returns to the Paris’ law. We show generalized SN curves, generalized Kitagawa–Takahashi diagrams, and discuss the application to some experimental data. The problem of short cracks remains however controversial, as we discuss with reference to some examples

Improvement of the mechanical and thermal characteristics of open cell aluminum foams by the electrodeposition of Cu

Abstract Recently aluminum foaming has been of much interest due to its characteristics properties of light weight structure. Metallic foams are highly porous materials which present complex structure of three-dimensional open cells. This aspect causes strong limitations in mass transport due to electro-deposition technology. In this work, the electro-deposition of copper on aluminum open-cell foams substrates was developed, in order to enhance the thermal and mechanical properties of these cellular materials. The mechanical and thermal characterization of the produced samples was lead through compression and conductivity tests. On the basis of the experimental results, analytical models are proposed to predict the quantity and the quality characteristics of the coating

Evidence of friction reduction in laterally graded materials

In many biological structures, optimized mechanical properties are obtained through complex structural organization involvingmultiple constituents, functional grading and hierarchical organization. In the case of biological surfaces, the possibility to modifythe frictional and adhesive behaviour can also be achieved by exploiting a grading of the material properties. In this paper, we in-vestigate this possibility by considering the frictional sliding of elastic surfaces in the presence of a spatial variation of the Young’smodulus and the local friction coefficients. Using finite-element simulations and a two-dimensional spring-block model, we investi-gate how graded material properties affect the macroscopic frictional behaviour, in particular, static friction values and the transi-tion from static to dynamic friction. The results suggest that the graded material properties can be exploited to reduce static frictionwith respect to the corresponding non-graded material and to tune it to desired values, opening possibilities for the design of bio-inspired surfaces with tailor-made tribological propertie

Relationships and events: towards a general theory of reification and truthmaking.

We propose a novel ontological analysis of relations and relationships based on a re-visitation of a classic problem in the practice of knowledge repre- sentation and conceptual modeling, namely relationship reification. Our idea is that a relation holds in virtue of a relationship's existence. Relationships are therefore truthmakers of relations. In this paper we present a general theory or reification and truthmaking, and discuss the interplay between events and rela- tionships, suggesting that relationships are the focus of events, which emerge from the context (the scene) they occur in

Magpie: towards a semantic web browser

Web browsing involves two tasks: finding the right web page and then making sense of its content. So far, research has focused on supporting the task of finding web resources through ‘standard’ information retrieval mechanisms, or semantics-enhanced search. Much less attention has been paid to the second problem. In this paper we describe Magpie, a tool which supports the interpretation of web pages. Magpie offers complementary knowledge sources, which a reader can call upon to quickly gain access to any background knowledge relevant to a web resource. Magpie automatically associates an ontologybased semantic layer to web resources, allowing relevant services to be invoked within a standard web browser. Hence, Magpie may be seen as a step towards a semantic web browser. The functionality of Magpie is illustrated using examples of how it has been integrated with our lab’s web resources